41![A Scalable Approach to Incrementally Building Knowledge Graphs Gleb Gawriljuk1 , Andreas Harth1 , Craig A. Knoblock2 , and Pedro Szekely2 1 Institute of Applied Informatics and Formal Description Methods (AIFB), A Scalable Approach to Incrementally Building Knowledge Graphs Gleb Gawriljuk1 , Andreas Harth1 , Craig A. Knoblock2 , and Pedro Szekely2 1 Institute of Applied Informatics and Formal Description Methods (AIFB),](https://www.pdfsearch.io/img/a6a652f814e7796f652abf0e2d452f39.jpg) | Add to Reading ListSource URL: usc-isi-i2.github.io- Date: 2016-12-01 19:06:09
|
---|
42![SCOPE PROGRAM COMMITTEE The 14th International Conference on Software Engineering and Formal Methods (SEFMis co-located with Software Technologies: Applications and Foundations, STAF 2016, and presents an interdi SCOPE PROGRAM COMMITTEE The 14th International Conference on Software Engineering and Formal Methods (SEFMis co-located with Software Technologies: Applications and Foundations, STAF 2016, and presents an interdi](https://www.pdfsearch.io/img/b012e743f177692a486a803837e7c8be.jpg) | Add to Reading ListSource URL: staf2016.conf.tuwien.ac.at- Date: 2016-02-22 06:21:00
|
---|
43![The Importance of Context: Risk-based De-Identification of Biomedical Data – Appendix: Formal Definitions F. Prasser, F. Kohlmayer, K. A. Kuhn 1 Formalism In this appendix, we will denote the number of records in the d The Importance of Context: Risk-based De-Identification of Biomedical Data – Appendix: Formal Definitions F. Prasser, F. Kohlmayer, K. A. Kuhn 1 Formalism In this appendix, we will denote the number of records in the d](https://www.pdfsearch.io/img/44a95023721a0de13402914ff9bf590e.jpg) | Add to Reading ListSource URL: methods.schattauer.de- Date: 2016-06-20 09:06:24
|
---|
44![Formal Methods and the RM-ODP Ole-Johan Dahl and Olaf Owe Department of Informatics, University of Oslo May 1998 Abstract The RM-ODP documents are criticized for unsatisfactory definition Formal Methods and the RM-ODP Ole-Johan Dahl and Olaf Owe Department of Informatics, University of Oslo May 1998 Abstract The RM-ODP documents are criticized for unsatisfactory definition](https://www.pdfsearch.io/img/3cd56845ea3ca083b5592add284d0ff1.jpg) | Add to Reading ListSource URL: folk.uio.no- Date: 2014-02-12 05:35:01
|
---|
45![Microsoft Word - BlankPage Microsoft Word - BlankPage](https://www.pdfsearch.io/img/ae33570b0d23690173b1bb9937b107d7.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2007-08-16 08:58:53
|
---|
46![TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1 TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1](https://www.pdfsearch.io/img/6b4330587733183ab8934fc5191bd14e.jpg) | Add to Reading ListSource URL: www-verimag.imag.frLanguage: English - Date: 2012-12-31 04:25:31
|
---|
47![bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision sオ「ェ・」エZ@ bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision sオ「ェ・」エZ@](https://www.pdfsearch.io/img/d45d2f4f0f01306aba4e38316095e2d3.jpg) | Add to Reading ListSource URL: w3.cost.euLanguage: English - Date: 2015-11-12 17:02:31
|
---|
48![Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA](https://www.pdfsearch.io/img/249698d9b2fdfcfbef7979170afa5089.jpg) | Add to Reading ListSource URL: peek.uwplse.orgLanguage: English - Date: 2016-08-08 16:17:02
|
---|
49![In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract](https://www.pdfsearch.io/img/c3dcaaf619366ac1d274c79233165f5c.jpg) | Add to Reading ListSource URL: www2.lingfil.uu.seLanguage: English - Date: 2014-10-16 02:36:17
|
---|
50![RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1 RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1](https://www.pdfsearch.io/img/c0a4a426c3cfeb2fbcbae451fef13536.jpg) | Add to Reading ListSource URL: rodin.cs.ncl.ac.ukLanguage: English - Date: 2005-06-09 09:16:29
|
---|